#include "kernel/include/types.h"
#include "kernel/include/stat.h"
#include "kernel/include/sysinfo.h"
#include "xv6-user/user.h"

int main()
{
    int pid = getpid();
    printf("pid = %d\n" , pid);
    printf("..........\n");
    return 0;
}
